Maszyny matematyczne -
Książka przedstawia podstawowe zagadnienia zwiazane z cyfrowymi maszynami matematycznymi.
Automatyczne dowodzenie
Książka przybliża zagadnienia automatycznego dowodzenia twierdzeń na maszynach cyfrowych.
Gramatyka i matematyka -
Książka podejmuje problem przenikania się matematyki i języka naturalnego.
